School of Computer Science BCS accreditation 2021 - 2026

The unit teaches the mathematics underpinning the formal side of specifying such systems.

Assesement : Examination, Individual coursework

Use of boolean algebra, gate level design, and HDL description of circuits in the design and implementation of systems.

Assesement : Examination, Lab work

Students use the Perentie tool to write and evaluate assembly programs.

Assesement : Individual coursework

Patterns, OO Design and UML

Assesement : Coursework and examination

The students spend a few weeks going through the design process of a database from requirements to end product

Assesement : Individual coursework, Lab work

The theoretical principles are put into practice in several ways: (i) the MVC in use is well-known Web framework used in industry; (ii) we use external APIs for mapping (ie Mapbox); (iii) we integrate into the MVC architecture APIs that are widely used (Twitter API); (iv) principles of testing in isolation are put in practice whereby students derive tests from requirements and learn to mock components of the Web system to facilitate testing.

Assesement : Examination, Group coursework

Theoretical properties related to algorithms and data structures are explored through the implementation and evaluation of algorithmic solutions to computational problems during lab exercises.

Assesement : Lab work

Discussed in class in the form of design of a solution, considering existing best practices and theory and tested as summative assessment.

Assesement : Individual coursework, Lab work

Students are expected to apply knowledge acquired during the programme and through their personal research.

Assesement : Individual coursework